Anatomy of an Extensional Collapse
نویسندگان
چکیده
We prove that, in the hierarchy of simple types, the set-theoretic coherence semantics is the exten-sional collapse of the multiset-theoretic coherence semantics.
منابع مشابه
The Scott model of linear logic is the extensional collapse of its relational model
We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus.
متن کاملExtensional Collapse Situations I: non-termination and unrecoverable errors
We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined form a lattice when ordered by the extensional collapse situation relation, introduced in order to compare models with respect to the amount of “intensional...
متن کاملGeometrical and seismic parameters of the Qoshadagh fault and its role in evolution of the Sabalan Plio-Quaternary Volcano (Northwest of Iran)
In order to evaluate seismic hazard along Qoshadagh Fault (QDF, the causative fault of 11 Aug. 2012 Varzegan- Ahar earthquake), geometric and seismic parameters of the fault were investigated. QDF consists of a central E-W striking, dextral-reverse segment terminating at both ends into NW-SE striking splay arrays. Both eastern and western splay arrays form locally transtensional bends. The NW-S...
متن کاملAn application of the extensional collapse of the relational model of linear logic
We proved recently that the extensional collapse of the relational model of linear logic coincides with its Scott model, whose objects are preorders and morphisms are downwards closed relations. This result is obtained by the construction of a new model whose objects can be understood as preorders equipped with a realizability predicate. We present this model, which features a new duality, and ...
متن کاملEvolution of North Himalayan gneiss domes: structural and metamorphic studies in Mabja Dome, southern Tibet
Field, structural, and metamorphic petrology investigations of Mabja gneiss dome, southern Tibet, suggest that contractional, extensional, and diapiric processes contributed to the structural evolution and formation of the domal geometry. The dome is cored by migmatites overlain by sillimanite-zone metasedimentary rocks and orthogneiss; metamorphic grade diminishes upsection and is defined by a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997